A new symbolic computation for formal integration with exact power series
نویسندگان
چکیده
Computers are very useful for numerical integration, that is the finding of definite integrals. But Computer Algebra also lets us perform formal integration, that is the discovery of integrals as formulae. Formal differentiation was undertaken quite early in the history of computers by Kahrimanian and Nolan (1953), but it was Slagle (1961) who took the first steps towards integration. So the first moves made by Slagle were based on the same heuristics as those used by humans. This way was quite quickly outdated by truly algorithmic methods after the work of Moses (1967).
منابع مشابه
An algorithmic approach to exact power series solutions of second order linear homogeneous differential equations with polynomial coefficients
In 1992, Koepf [J. Symb. Comp. 13 (1992) 581] introduced an algorithm for computing a Formal Power Series of a given function using generalized hypergeometric series and a recurrence equation of hypergeometric type. The main aim of this paper is to develop a new algorithm for computing exact power series solutions of second order linear differential equations with polynomial coefficients, near ...
متن کاملApproximate solution of laminar thermal boundary layer over a thin plate heated from below by convection
In this paper, an integration of a symbolic power series method - Padé approximation technique (PS - Padé), was utilized to solve a system of nonlinear differential equations arising from the similarity solution of laminar thermal boundary layer over a flat plate subjected to a convective surface boundary condition. As both boundary conditions tended to infinity, the combination of series solut...
متن کاملPower Series -Aftertreatment Technique for Nonlinear Cubic Duffing and Double-Well Duffing Oscillators
Modeling of large amplitude of structures such as slender, flexible cantilever beam and fluid-structure resting on nonlinear elastic foundations or subjected to stretching effects often lead to strongly nonlinear models of Duffing equations which are not amendable to exact analytical methods. In this work, explicit analytical solutions to the large amplitude nonlinear oscillation systems of cub...
متن کاملA new fractional sub-equation method for solving the space-time fractional differential equations in mathematical physics
In this paper, a new fractional sub-equation method is proposed for finding exact solutions of fractional partial differential equations (FPDEs) in the sense of modified Riemann-Liouville derivative. With the aid of symbolic computation, we choose the space-time fractional Zakharov-Kuznetsov-Benjamin-Bona-Mahony (ZKBBM) equation in mathematical physics with a source to illustrate the validity a...
متن کاملExact solutions for nonlinear partial differential equations by using the extended tanh - method Mahmoud
The tanh method is a powerful solution method; various extension forms of the tanh method have been developed with a computerized symbolic computation and is used for constructing the exact travelling wave solutions, of coupled nonlinear equations arising in physics. The obtained solutions include solitons, kinks and plane periodic solutions. First a power series in tanh was used as an ansatz t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Mathematics and Computation
دوره 162 شماره
صفحات -
تاریخ انتشار 2005